2024 share record
persistent URL:
Arun Joseph , Pretty Mariam Jacob , Matthias Klein , Wolfgang Roesner : Efficient Aspect Verification and Debugging of High-Performance Microprocessor Designs. IEEE Des. Test 41 (3 ) : 36-46 (2024 )share record
persistent URL:
Zheng Genrang : Design and verification of use case generation algorithm based on multiple combination tests. Int. J. Bio Inspired Comput. 23 (2 ) : 69-79 (2024 )export record
dblp key:
journals/paapp/ZaitsevSZL24 share record
persistent URL:
Dmitry A. Zaitsev , Tatiana R. Shmeleva , Zeyu Zhou , Ding Liu : Verification of cryptocurrency consensus protocols: reenterable colored Petri net model design. Int. J. Parallel Emergent Distributed Syst. 39 (1 ) : 32-50 (2024 )export record
dblp key:
journals/sensors/DavidSRSG24 share record
persistent URL:
Jonas Paul David , David Schick , Lorenz Rapp , Johannes Schick , Markus Glaser : SensAA - Design and Verification of a Cloud-Based Wearable Biomechanical Data Acquisition System. Sensors 24 (8 ) : 2405 (2024 )export record
dblp key:
journals/sensors/PlagianakosCBLMSGKSPS24 share record
persistent URL:
Theofanis S. Plagianakos , Nikolaos Chrysochoidis , Georgios Bolanakis , Nikolaos Leventakis , Nikolaos Margelis , Manolis Sotiropoulos , Fotis Giannopoulos , Grigoris-Christos Kardarakos , Christos C. Spandonidis , Evangelos Papadopoulos , Dimitris Saravanos : The Design and Ground Test Verification of an Energy-Efficient Wireless System for the Fatigue Monitoring of Wind Turbine Blades Based on Bistable Piezoelectric Energy Harvesting. Sensors 24 (8 ) : 2480 (2024 )export record
dblp key:
journals/sensors/RodriguezCoboDAFLC24 share record
persistent URL:
Luis Rodriguez-Cobo , Guillermo Díaz-San Martín , José Francisco Algorri , Carlos Fernández-Viadero , José Miguel López-Higuera , Adolfo Cobo : Design and Verification of Integrated Circuitry for Real-Time Frailty Monitoring. Sensors 24 (1 ) : 29 (2024 )export record
dblp key:
journals/staeors/BarjaktarovicSB24 share record
persistent URL:
Marko Barjaktarovic , Massimo Santoni , Lorenzo Bruzzone : Design and Verification of a Low-Cost Multispectral Camera for Precision Agriculture Application. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 17 : 6945-6957 (2024 )share record
persistent URL:
Yizhuo Song , Pengyang Zhao , Siqi Wang , Qingmin Liao , Wenming Yang : Study of 3D Finger Vein Biometrics on Imaging Device Design and Multi-View Verification. IEEE Trans. Circuits Syst. Video Technol. 34 (4 ) : 3043-3048 (2024 )share record
persistent URL:
Rania Mzid : Real-time design patterns for the verification of safety-critical embedded systems in model-based approach. J. Supercomput. 80 (8 ) : 11431-11473 (2024 )share record
persistent URL:
Tarun Vihar Tumati , Yun Tian , Xunfei Jiang : A Soulbound Token Certificate Verification System (SBTCert): Design and Implementation. CCWC 2024 : 345-350 share record
persistent URL:
Alireza Abolhasani Zeraatkar , Parnian Shabani Kamran , Hussain Al-Asaad : Advancements in Secure Computing: Exploring Automated Repair Debugging and Verification Techniques for Hardware Design. CCWC 2024 : 357-364 export record
dblp key:
journals/corr/abs-2402-00199 share record
persistent URL:
Wen Fan , Haoran Li , Weiyong Si , Shan Luo , Nathan F. Lepora , Dandan Zhang : ViTacTip: Design and Verification of a Novel Biomimetic Physical Vision-Tactile Fusion Sensor. CoRR abs/2402.00199 (2024 )export record
dblp key:
journals/corr/abs-2402-00386 share record
persistent URL:
Wenji Fang , Mengming Li , Min Li , Zhiyuan Yan , Shang Liu , Hongce Zhang , Zhiyao Xie : AssertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs. CoRR abs/2402.00386 (2024 )export record
dblp key:
journals/corr/abs-2403-14154 share record
persistent URL:
Sooyeob Jung , Seongah Jeong , Jinkyu Kang , Gyeongrae Im , Sangjae Lee , Mi-Kyung Oh , Joon-Gyu Ryu , Joonhyuk Kang : LR-FHSS Transceiver for Direct-to-Satellite IoT Communications: Design, Implementation, and Verification. CoRR abs/2403.14154 (2024 )2023 export record
dblp key:
phd/basesearch/Demarchi23 share record
persistent URL:
Stefano Demarchi : Experimenting with Constraint Programming Techniques in Artificial Intelligence: Automated System Design and Verification of Neural Networks. University of Genoa, Italy, 2023 share record
persistent URL:
Timm Liebrenz : Service-oriented design and verification of hybrid systems. Technical University of Berlin, Germany, 2023 share record
persistent URL:
Eric Ohana : Optimizing Verification of RTL Designs Using Reinforcement Learning Methods. Bielefeld University, Germany, 2023 export record
dblp key:
journals/access/EntrenaSGPGLS23 share record
persistent URL:
Luis Entrena , Antonio J. Sanchez-Clemente , Luis Ángel García-Astudillo , Marta Portela-García , Mario García-Valderas , Almudena Lindoso , Roberto Sarmiento : Formal Verification of Fault-Tolerant Hardware Designs. IEEE Access 11 : 116127-116140 (2023 )export record
dblp key:
journals/access/GohKLOCK23 share record
persistent URL:
Eunsu Goh , Daeyeol Kim , Kwangkee Lee , Suyeong Oh , JongEui Chae , Do-Yup Kim : Blockchain-Enabled Federated Learning: A Reference Architecture Design, Implementation, and Verification. IEEE Access 11 : 145747-145762 (2023 )export record
dblp key:
journals/access/MaZMNJJ23 share record
persistent URL:
Ruqi Ma , Weiwei Zhang , Rulin Ma , Wengcheng Ni , Shuiqing Jiang , Shengyuan Jiang : Design and Verification of a Novel Sampling System for Lunar Water Ice Exploration. IEEE Access 11 : 18938-18946 (2023 )export record
dblp key:
journals/access/SiapoushA23 share record
persistent URL:
Mina Soltani Siapoush , Jim Alves-Foss : Is Formal Verification of seL4 Adequate to Address the Key Security Challenges of Kernel Design? IEEE Access 11 : 101750-101759 (2023 )share record
persistent URL:
Yue Cao , Yusheng Liu , Xujia Qin : A hybrid approach to system verification in early design for complex mechatronic systems based on formal functional semantics. Adv. Eng. Informatics 58 : 102201 (2023 )share record
persistent URL:
Kyung-Pyo Kang , Ga Hyeon Jung , Jung Hoon Eom , Soon Beom Kwon , Jae Hong Park : Application of deep metric learning in the verification process of wheel design similarity: Hyundai motor company case. AI Mag. 44 (4 ) : 406-417 (2023 )share record
persistent URL:
Takumi Ito , Riku Funada , Shunsuke Mochida , Takahiro Kawagoe , Tatsuya Ibuki , Mitsuji Sampei : Design and experimental verification of a hoverable quadrotor composed of only clockwise rotors. Adv. Robotics 37 (10 ) : 667-678 (2023 )export record
dblp key:
journals/automatica/BarcelosB23 share record
persistent URL:
Raphael Julio Barcelos , João Carlos Basilio : Disjunctive fault prediction of decentralized discrete event systems: Verification, predictor design and K-copredictability. Autom. 148 : 110769 (2023 )export record
dblp key:
journals/bioinformatics/VolkelLHTKT23 share record
persistent URL:
Kevin Volkel , Kevin N. Lin , Paul W. Hook , Winston Timp , Albert J. Keung , James M. Tuck : FrameD: framework for DNA-based data storage design, verification, and validation. Bioinform. 39 (10 ) (2023 )share record
persistent URL:
Zhi-Chang Qin , Ying Xin : Data-driven H∞ vibration control design and verification for an active suspension system with unknown pseudo-drift dynamics. Commun. Nonlinear Sci. Numer. Simul. 125 : 107397 (2023 )export record
dblp key:
journals/compsec/TanXHWL23 share record
persistent URL:
Xiao Tan , Qi Xie , Lidong Han , Shengbao Wang , Wenhao Liu : Proof of retrievability with flexible designated verification for cloud storage. Comput. Secur. 135 : 103486 (2023 )export record
dblp key:
journals/computer/SchoeberlP23 share record
persistent URL:
Martin Schoeberl , Luca Pezzarossa : Chip Design and Verification in a Computer Engineering Education. Computer 56 (11 ) : 20-29 (2023 )share record
persistent URL:
Zhenjiang Qian , Rui Xia , Gaofei Sun , Xiaoshuang Xing , Kaijian Xia : A measurable refinement method of design and verification for micro-kernel operating systems in communication network. Digit. Commun. Networks 9 (5 ) : 1070-1079 (2023 )